例文
- Conditional quantifiers are meant to capture certain properties concerning conditional reasoning at an abstract level.
- A semantic interpretation of conditional quantifiers involves a relation between sets of subsets of a given structure i . e . a relation between properties defined on the structure.